6

On the formal semantics of IF-like logics

Year:
2010
Language:
english
File:
PDF, 282 KB
english, 2010
16

Chronic Cavitary Histoplasmosis

Year:
1989
Language:
english
File:
PDF, 1.25 MB
english, 1989
19

Resolution with Order and Selection for Hybrid Logics

Year:
2011
Language:
english
File:
PDF, 979 KB
english, 2011
33

Unsorted Functional Translations

Year:
2011
Language:
english
File:
PDF, 265 KB
english, 2011
44

Integrated program verification tools in education

Year:
2012
Language:
english
File:
PDF, 1.75 MB
english, 2012